fixed point combinator造句

This example is a slightly interpretive implementation of a fixed point combinator.
These different approaches affect how a mathematician and a programmer may regard a fixed point combinator.
Note that the Y combinator is a particular implementation of a fixed point combinator in lambda calculus.
It is not necessary or helpful to use this structure in implementing the fixed point combinator in other languages.
The factorial function provides a good example of how the fixed point combinator may be applied to functions of two variables.
It's difficult to find fixed point combinator in a sentence. 用fixed point combinator造句挺难的

Klop is known for his work on the Algebra of Communicating Processes, co-author of " TeReSe " and his fixed point combinator
This means that in lambda calculus, applying a fixed point combinator to a function gives you an expression whose value is the fixed point of the function.
In this case particular lambda terms ( which define functions ) are considered as values . " Running " ( beta reducing ) the fixed point combinator on the encoding gives a lambda term for the result which may then be interpreted as fixed point value.
This feature is not strictly necessary, since v could be implemented as " s ` k " s " s ` kskk ` k " s " s ` kskk, but it is supplied as a convenience . ( This expression above is simply ` Yk, where Y denotes a fixed point combinator .)